Step of Proof: dcdr-to-bool-equivalence 11,40
Inference at * 1 1 1 
Iof proof for Lemma dcdr-to-bool-equivalence:



1. P : 
2. x : P
3. [inl x ]
  P 
latex
 by Auto 
latex

 .

origin